(third composition rule: 1